A Single-Sorted Theory of Multisets

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Single valued neutrosophic multisets

In this paper, we have investigated single valued neutrosophic multisets in detail. Several operations have been defined on them and their important algebraic properties are studied.We have further introduced the notion of distance and similarity measures between two single valued neutrosophic multisets. An application of single valued neutrosophic multisets in medical diagnosis has been discus...

متن کامل

Information Theory over Multisets

Starting from Shannon theory of information, we present the case of producing information in the form of multisets, and encoding information using multisets. We compute the entropy of a multiset information source by constructing an equientropic string source (with interdependent symbols), and we compare this with a string information source with independent symbols. We then study the encoder a...

متن کامل

Multisets in Type Theory

A multiset consists of elements, but the notion of a multiset is distinguished from that of a set by carrying information of how many times each element occurs in a given multiset. In this work we will investigate the notion of iterative multisets, where multisets are iteratively built up from other multisets, in the context Martin-Löf Type Theory, in the presence of Voevodsky’s Univalence Axio...

متن کامل

A Unified Approach to the Theory of Normed Structures - Part I: the Single-sorted Case

We introduce the concept of a prenormed model of a particular kind of singlesorted finitary first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their signature comprises, together with arbitrary function symbols (of finite ariety), only relation symbols whose interpretation, in any possible model, is a reflexi...

متن کامل

Order-Sorted Feature Theory Unification

Order-sorted feature (OSF) terms provide an adequate representation for objects as flexible records. They are sorted, attributed, possibly nested, structures, ordered thanks to a subsort ordering. Sort definitions offer the functionality of classes imposing structural constraints on objects. These constraints involve variable sorting and equations among feature paths, including self-reference. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 2014

ISSN: 0029-4527

DOI: 10.1215/00294527-2688042